1. Lambda-calculus, combinators, and functional programming
پدیدآورنده : Revesz, Gyorgy E.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Lambda calculus,، Combinatory logic,، Functional programming languages
رده :
QA
9
.
5
.
R48
1988
2. Lambda-calculus, combinators, and functional programming
پدیدآورنده : G.E. Revesz
موضوع : Lambda calculus,Combinatory logic,Functional programming languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Rewriting techniques and applications :
پدیدآورنده : N. Dershowitz, ed.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.
رده :
QA267
.
I555
1989
